Filet-o-Fish: practical and dependable domain-specific languages for OS development Pierre-Evariste Dagand ENS Cachan-Bretagne France
نویسندگان
چکیده
We address a persistent problem with using domain-specific languages to write operating systems: the effort of implementing, checking, and debugging the DSL usually outweighs any of its benefits. Because these DSLs generate C by templated string concatenation, they are tedious to write, fragile, and incompatible with automated verification tools. We present Filet-o-Fish (FoF), a semantic language to ease DSL construction. Building a DSL using FoF consists of safely composing semantically-rich building blocks. This has several advantages: input files for the DSL are formal specifications of the system’s functionality, automated testing of the DSL is possible via existing tools, and we can prove that the C code generated by a given DSL respects the semantics expected by the developer. Early experience has been good: FoF is in daily use as part of the tool chain of the Barrelfish multicore OS, which makes extensive use of domain-specific languages to generate low-level OS code. We have found that the ability to rapidly generate DSLs we can rely on has changed how we have designed the OS.
منابع مشابه
Thèse / Ens Cachan -bretagne École Doctorale Matisse Présentée Par Pierre-yves Schobbens Stefan Haar Axel Legay Didier Lime Stephan Merz Claude Jard
متن کامل
Asymptotic Normality in Density Support Estimation
Estimation Gérard BIAU a,∗, Benôıt CADRE b, David M. MASON c and Bruno PELLETIER d a LSTA & LPMA Université Pierre et Marie Curie – Paris VI Bôıte 158, 175 rue du Chevaleret 75013 Paris, France [email protected] b IRMAR, ENS Cachan Bretagne, CNRS, UEB Campus de Ker Lann Avenue Robert Schuman 35170 Bruz, France [email protected] c University of Delaware Food and Resource Econ...
متن کاملSensitivity of CTA to dark matter signals from the Galactic Center
Mathias Pierre, Jennifer M. Siegal-Gaskins, and Pat Scott aÉcole Normale Supérieure de Cachan, 61 Avenue du Président Wilson, 94230 Cachan, France bUniversité Pierre et Marie Curie, 4 Place Jussieu, 75005 Paris, France cCalifornia Institute of Technology, 1200 E. California Blvd., Pasadena, CA 91125, USA dDepartment of Physics, McGill University, 3600 Rue University, Montréal, Québec, H3A 2T8, ...
متن کاملOn the best observation of wave and Schrödinger equations in quantum ergodic billiards
This paper is a proceedings version of the ongoing work [20], and has been the object of the talk of the second author at Journées EDP in 2012. In this work we investigate optimal observability properties for wave and Schrödinger equations considered in a bounded open set Ω ⊂ IR, with Dirichlet boundary conditions. The observation is done on a subset ω of Lebesgue measure |ω| = L|Ω|, where L ∈ ...
متن کامل